منابع مشابه
Witnessing extinction in real time
I started my amphibian research a little like Thoreau, living alone in a cabin in the woods and recording the seasonal variation in the natural world. I lived in a shack without plumbing or electricity, an hour away from the closest house, in a cloud forest on the top of a mountain that straddled the border between Costa Rica and Panama. I scrambled along mountain streams chasing seasonal repro...
متن کاملWitnessing Network Transformations
Software-defined networking (SDN) is transforming the way networks are managed, as fixed distributed protocols give way to flexible route calculation software. The shift brings to the forefront the issue of software errors, which may produce wrong routes, and cause significant network disruption. We propose a run-time certification mechanism that rejects any wrongly calculated route before it i...
متن کاملChildren Witnessing Family Violence
• Although family violence crosses all socio-demographic groups, there are some circumstances where violence occurs at higher rates. Households with older children, somewhat older parents, parental unemployment, low income, blended, step or single parent families, or a recent change in family structure had higher than average percentages of children exposed to adults or teenagers physically fig...
متن کاملOn Domains Witnessing Increase in Information
The paper considers algebraic directed-complete partial orders with a semi-regular Scott topology, called regular domains. As is well known, the category of Scott domains and continuous maps is Cartesian closed. This is no longer true, if the domains are required to be regular. Two Cartesian closed subcategories of the regular Scott domains are exhibited: regular dI-domains with stable maps and...
متن کاملWitnessing Program Transformations
We study two closely related problems: (a) showing that a program transformation is correct and (b) propagating an invariant through a program transformation. The second problem is motivated by an application which utilizes program invariants to improve the quality of compiler optimizations. We show that both problems can be addressed by augmenting a transformation with an auxiliary witness gen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Left History: An Interdisciplinary Journal of Historical Inquiry and Debate
سال: 2019
ISSN: 1913-9632,1192-1927
DOI: 10.25071/1913-9632.39372